Primeness in Quantales
نویسندگان
چکیده
منابع مشابه
Primeness of Twisted Knots
Let V be a standardly embedded solid torus in S3 with a meridianpreferred longitude pair {p., X) and K a knot contained in V . We assume that K is unknotted in S3 . Let fn be an orientation-preserving homeomorphism of V which sends X to X + np. Then we get a twisted knot K„ = f„ {K) in SK Primeness of twisted knots is discussed and we prove : A twisted knot K„ is prime if \n\ > 5 . Moreover, {K...
متن کاملQuantales and Observational Semantics
We illustrate the idea that quantales can be regarded as algebras of experimental observations on physical systems, and we give a survey of some research in computer science where this idea has been used. We extend the mathematical framework hitherto available so that it can be applied to more general systems than before, in particular to quantum systems and systems whose behaviour is partially...
متن کاملTopological Relational Quantales
We introduce and present results about a class of quantales, the topological relational quantales, that can be associated with tuples (X,R) such that X is a topological space and R is a lower-semicontinuous equivalence relation on X (see Definition 1 below). Our motivating case studies and examples of topological relational quantales include concrete quantales such as the relational quantales o...
متن کاملQuantales and Continuity Spaces
The theory of metric spaces provides an elementary introduction to topology and unies many branches of classical analysis. Using it, the intuitive notions of continuity, limit and Cauchy sequence can be developed in a very general setting. Moreover, since metric techniques are frequently much more powerful than topological ones, they make possible simpler and more elegant solutions to many prob...
متن کاملOrthomodular Lattices and Quantales
Let L be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of L contained in the center of L and endomorphisms j of L satisfying the Borceux-Van den Bossche conditions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de Ciência da Computação
سال: 2019
ISSN: 2596-2701
DOI: 10.22481/recic.v1i1.4928